Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
221	PDF Document Add to Reading List Source URL: mp.binaervarianz.de Language: English - Date: 2012-04-04 14:13:24 Software testing Software engineering Computing Theoretical computer science Application programming interface Runtime verification Test automation Software bug Unit testing MAPI Type system Random testing
222	PDF Document Add to Reading List Source URL: www.havelund.com Language: English - Date: 2014-07-17 11:43:19 Computing Software engineering Software Formal methods Theoretical computer science Model checkers Logic in computer science Java Pathfinder Model checking Formal verification Promela Abstract interpretation
223	LNCSThe <Emphasis Type="SmallCaps">Blast</Emphasis> Query Language for Software Verification Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10
224	Automatic Unbounded Verification of Alloy Specifications with Prover9 Alcino Cunha and Nuno Macedo HASLab — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal May 2011 Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:18
225	L-Based Learning Models of Evolving Components for Software Verification Pham Ngoc Hung and Nguyen Viet Ha University of Engineering and Technology, VNU {hungpn, hanv}@vnu.edu.vn Add to Reading List Source URL: www.uet.vnu.edu.vn Language: English* - Date: 2012-09-11 03:08:09
226	SSDL: overview Goal: Improving the quality of systems and software Means: Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-08-09 05:02:19 Model checking Formal verification Software engineering Programming language Software development process Science Computing Formal methods SOAP Service Description Language Applied mathematics
227	DO-254 Training course Hardware System Design Training Objectives  Manage Hardware projects under latest DO-254 guidance.  Provide an overview of mandatory Add to Reading List Source URL: www.silkan.com Language: English - Date: 2015-05-18 13:22:15 Systems engineering Quality Science DO-254 Electronic design Electronic engineering Validation Software development process Verification Avionics Embedded systems Electronics
228	FP7-SECProjectCybersecurity on SCADA: risk prediction, analysis and reaction tools for Critical Infrastructures Add to Reading List Source URL: www.cockpitci.eu Language: English - Date: 2015-04-04 09:27:05 Software quality Food safety Validation Science Evaluation Technology Verification and validation Verification Validation master plan Pharmaceutical industry Validity Systems engineering
229	FIG: A Prototype Tool for Online Verification of Recovery Mechanisms ∗ Pete Broadwell Naveen Sastry Add to Reading List Source URL: naveen.ksastry.com Language: English - Date: 2013-06-08 15:25:48 Software testing Fault injection Application programming interfaces C dynamic memory allocation Exception handling Software quality Emacs C standard library System call Software Computing Computer programming
230	SSDL: overview Goal: Improving the quality of systems and software Means: Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-08-09 05:02:19 Model checking Formal verification Software engineering Programming language Software development process Science Computing Formal methods SOAP Service Description Language Applied mathematics

UPDATE